Formula editor - PDFSEARCH.IO - Document Search Engine

Formula editor
Results: 125

#	Item
121	From editor This issue presents proceedings of the workshop “30 Years of Mizar”1 held in September Add to Reading List Source URL: markun.cs.shinshu-u.ac.jp Language: English - Date: 2005-10-19 00:07:07 Propositional calculus Formal languages Quantification Predicate logic Natural deduction Andrzej Trybulec Mizar system Well-formed formula Function Logic Mathematical logic Mathematics
122	Revisiting WYSIWYG Paradigms for Authoring LATEX David Kastrup Kriemhildstr. 15 Add to Reading List Source URL: www.tug.org Language: English - Date: 2003-03-21 15:34:46 Emacs Typesetting LaTeX GNU TeXmacs LyX Presentation software TeX Formula editor WYSIWYG Software Application software Desktop publishing software
123	Remembering Atle Selberg, 1917–2007 Dennis Hejhal, Coordinating Editor* Add to Reading List Source URL: www.ams.org Language: English - Date: 2009-06-08 10:38:33 Number theorists Analytic number theory Atle Selberg Norwegian Academy of Science and Letters Conjecture Selberg trace formula Selberg Elementary proof Riemann hypothesis Mathematics Mathematical analysis Number theory
124	PDF Document Add to Reading List Source URL: preview-latex.sourceforge.net Language: English - Date: 2002-08-03 11:02:13 Emacs Typesetting LaTeX LyX GNU TeXmacs Presentation software TeX Formula editor WYSIWYG Software Application software Desktop publishing software
125	Access to Mathematics in OpenDocument Format (ODF) and OpenOffice.org Add to Reading List Source URL: www.ascience-thematic.net Language: English - Date: 2008-10-29 13:48:01 Computer file formats OpenDocument Open formats Office suites MathML OpenOffice.org StarOffice Formula editor HTML Software Computing Markup languages